Fix CI failure with "error: 'LINUX_BOOTARGS' undeclared"

Author: dgarske

hal/zynq.c

@@ -59,15 +59,13 @@
 
 /* DTB fixup for kernel command line. Override LINUX_BOOTARGS or
  * LINUX_BOOTARGS_ROOT in your config to customize. */
-#ifdef __WOLFBOOT
 #ifndef LINUX_BOOTARGS
 #ifndef LINUX_BOOTARGS_ROOT
 #define LINUX_BOOTARGS_ROOT "/dev/mmcblk0p4"
 #endif
 #define LINUX_BOOTARGS \
     "earlycon console=ttyPS0,115200 root=" LINUX_BOOTARGS_ROOT " rootwait"
 #endif
-#endif /* __WOLFBOOT */
 
 /* QSPI Slave Device Information */
 typedef struct QspiDev {
@@ -1807,7 +1805,7 @@ void RAMFUNCTION ext_flash_unlock(void)
 
 }
 
-#ifdef MMU
+#if defined(MMU) && defined(__WOLFBOOT)
 /* Get current time in microseconds using ARMv8 generic timer */
 uint64_t hal_get_timer_us(void)
 {